@CHARSET "UTF-8";

p, select, label, .blurb, a.turn-off-codemirror {
    font:13px/1.231 arial, sans-serif;
    *font-size:small;
}


a.turn-off-codemirror {
    margin-left: 25px;
}

button#submit {
    clear: both;
    margin-top: 5px;
    width: 100%;
    padding: 10px 0;
    cursor: pointer;
}

#source {
    width: 100%;
    padding-left: 0;
    padding-right: 0;
}

button#submit em {
    font-size: 11px;
    font-style: normal;
    color: #999;
}

label {
    cursor: pointer;
}

select {
    width: 220px;
}

table#options {
    float: right;
}
table#options td {
    vertical-align: top;
    padding-left: 10px;
}

#about p {
    margin: 0 6px 6px 0;
}

li {
    line-height: 150%;
}


#testresults {
    display: none;
    font-family: monaco, "lucida console", "courier new", monospace;
}

.CodeMirror {
    border: 1px solid #ccc;
    margin-bottom: 6px;
    background: white;
}
.CodeMirror-scroll {
  min-height: 400px;
  max-height: 100%;
  height: auto;
  overflow-y: hidden;
  overflow-x: auto;
  width: 100%
}
.contributors a {
    white-space: nowrap;
}